위키 홈 Edit Type theory 2024-09-08 (modified: 2024-11-26) 별칭: 타입 이론, 유형론 목차 (맨 위로) Books Books Intuitionistic Type Theory by Per Martin-Löf Proofs and types